1. Advanced computer applications, 1994: presented at the 1994 Pressure Vessels and Piping Conference, Minneapolis, Minnesota, June 19-23, 1994
Author: sponsored by the Pressure Vessels and Piping Division, ASME; principal editor, Peter Langsten; contributing editors, K.H. Hsu, Eugene L. Poole, Jun Tang
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs - Congresses ، Structural analysis )Engineering(,Design and construction - Data processing - Congresses ، Pressure vessels,Design and construction - Data processing - Congresses ، Piping
Classification :
TA
647
.
A38
1994


2. Advanced information systems engineering, proceedings of ...
Author: International conference, CAiSE 2001, 13th, Interlaken, 2001
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Systems engineering- Computer programs ► Computer-aided software engineering- Congresses
Classification :
005
I61a


3. Advances in electrical engineering software : proceedings of the First International Conference on Electrical Engineering Analysis and Design, Lowell, Massachusetts, USA, 21-23 August 1990
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electric engineering-- Computer programs-- Congresses,، Electrical engineering-- Applications of computer systems-- Software
Classification :
TK
153
.
I577
1990


4. Agent-technologies, infrastructures, tools, and applications for E-services
Author: / Ryszard Kowalczyk ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software)--Congresses,Software engineering--Congresses,Electronic commerce--Computer programs--Congresses
Classification :
QA
,
76
.
76
,.
I58
,
N63
,
2002


5. Balanced automation systems :
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Systems engineering -- Computer programs--Congresses►Automatic control--Congresses
Classification :
168
.
B24
1995

6. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.

7. Engenharia de Software: fundamentos, metodos e padroes. یسیلگنا هب ناونع : engineering software: fundamentals, methods and standards
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer-aided engineering- Congresses,، Engineering- Data processing- Congresses,، Engineering- Computer programs- Congresses
Classification :
TA
345
.
E548
2000


8. Engineering Databases
Author: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
Classification :
TA
345
.
P74
1984


9. Engineering Databases
Author: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
Classification :
TA
345
.
P74
1984


10. Engineering Software III: Proceedings of the 3rd International Conference., on Engineering Software, held at Imperial Callege of Science and Technology, London, April 1983
Author: editor R.A.Adey
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Engineering- Computer programs- Congresses
Classification :
TA
345
.
I567
1983


11. Engineering psychology and cognitive ergonomics :
Author: Don Harris (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aeronautics-- Computer programs, Congresses.,Engineering design-- Psychological aspects, Congresses.,Human engineering, Congresses.,Human-computer interaction, Congresses.,Psychology, Industrial, Congresses.,User-centered system design, Congresses.,Aeronautics-- Computer programs.,Engineering design-- Psychological aspects.,Human engineering.,Human-computer interaction.,Psychology, Industrial.,User-centered system design.
Classification :
TA166


12. Engineering software III. Proceeding of
Author: International conference and exhibition on engineering software 3rd London, 1983
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer programs- Congresses ► Computer engineering-Congresses
Classification :
001
I61e


13. FLAC and numerical modeling in geomechanics
Author: edited by Richard Brummer ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering geology-- Computer programs, Congresses.,Engineering geology-- Mathematical models, Congresses.,Rock mechanics-- Computer programs, Congresses.,Rock mechanics-- Mathematical models, Congresses.,Soil mechanics-- Computer programs, Congresses.,Soil mechanics-- Mathematical models, Congresses.

14. FLAC and numerical modeling in geomechanics :
Author: edited by Richard Brummer ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering geology-- Computer programs, Congresses,Engineering geology-- Mathematical models, Congresses,Rock mechanics-- Computer programs, Congresses,Rock mechanics-- Mathematical models, Congresses,Soil mechanics-- Computer programs, Congresses,Soil mechanics-- Mathematical models, Congresses
Classification :
TA705
.
I516
2003


15. FLAC and numerical modeling in geomechanics
Author: International FLAC Symposium on Numerical Modeling in Geomechanics (3rd : 2003 : Sudbury, Ont.)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Engineering geology -- Computer programs -- Congresses ► Rock mechanics -- Computer programs -- Congresses ► Soil mechanics -- Computer programs -- Congresses ► Engineering geology -- Mathematical models -- Congresses ► Rock mechanics--Mathematical models -- Congresses
Classification :
705
.
I516
2003

16. FLAC and numerical modeling in geomechanics
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering geology -- Computer programs -- Congresses,Rock mechanics -- Computer programs -- Congresses,Soil mechanics -- Computer programs -- Congresses,Engineering geology -- Mathematical models - Congresses,Rock mechanics -- Mathematical models -- Congresses
Classification :
TA705
.
I516
2001


17. FLAC and numerical modeling in geomechanics: proceedings of the International FLAC Symposium on Numerical Modeling in Geomechanics, Minneapolis, Minnesota, USA, 1-3 September 1999
پدیدآورنده :
موضوع : Congresses ، Engineering geology-- Computer programs,Congresses ، Rock mechanics-- Computer programs,Congresses ، Soil mechanics-- Computer programs,Congresses ، Engineering geology-- Mathematical models,Congresses ، Rock mechanics-- Mathematical models,Congresses ، Soil mechanics-- Mathematical models
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
18. FLAC and numerical modeling in geomechanics: proceedings of the third International FLAC Symposium, 21-24 October 2003, Sudbury, Ontario, Canada
Author: edited by Richard Brummer ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs - Congresses ، Engineering geology,Computer programs - Congresses ، Rock mechanics,Congresses ، Soil mechanics - Computer programs,Mathematical models - Congresses ، Engineering geology,Mathematical models - Congresses ، Rock mechanics,Mathematical models - Congresses ، Soil mechanics
Classification :
TA
705
.
I525
2003


19. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,


20. Irrigation water delivery models
Author: / [edited by J.C. Skutsch]
Library: Central Library of college of Agriculture and Natural Resources (Alborz)
Subject: Irrigation engineering -- Computer programs Congresses,Irrigation -- Congresses
Classification :
TC
803
.
I79
1994

